1. Logic Colloquium '82 :
پدیدآورنده: edited by G. Lolli, G. Longo, and A. Marcja
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
رده :
QA9
.
7
.
L64
1982
2. Model theory and arithatic: Comptes Rendus d'une action Thematique, Programmee de C.N. R. S. sur la theorie des Modeles et arithmetique, Paris, France, 1979.80
پدیدآورنده: edited by C.Berline, K. McAloon, and J.-P. Ressayre
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Model theory - Congresses,Congresses ، Mathematics
رده :
QA
3
.
L28
no
.
890
3. Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai
پدیدآورنده: Bradd Hart ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Model theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
7
.
M67
